رهیافت دوزبانی تارسکی
author
Abstract:
This article doesn't have abstract
similar resources
فضای مجازی رخنهای در تئوری صدق تارسکی
بررسی صدق جملات فضای مجازی، دارای اهمیت ویژهای است. برای بسیاری، فضای مجازی یکی از مهمترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنة اطلاعات و در دسترس بودن آن است. با همة مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل الوصول...
full textصدق در فلسفه علم پوپر و مفهوم سمانتیکی صدق تارسکی
مفهوم صدق در فلسفهی علم پوپر از جایگاه ویژهای برخوردار است و این موقعیت منحصر به فرد، به ویژه وامدار آشنایی وی با آلفرد تارسکی و مفهوم سمانتیکی صدق وی است. برداشت پوپر از مفهوم سمانتیکی صدق تارسکی را که منطبق با نظریهی تطابقی صدق است حداقل از سه منظر متفاوت میتوان نقد کرد. نقد اول، نقد نظریهی تطابقی صدق است فارغ از این که مدافع آن پوپر یا هر فیلسوف دیگری باشد. موضوع نقد دوم اما، برداشت پوپ...
full textمباحثی در تعریف ناپذیری صدق تارسکی
قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...
15 صفحه اولتقریری معناشناختی از صدق جمله های علوم قیاسی با تأکید بر آراء تارسکی
نظریه ی « صدق »مطرح شده از سوی آلفرد تارسکی، نظری های است مبتنی بر مفهوم کلاسیکمطابقت که با تکیه بر دانش معناشناسی شکل گرفته است و همین محمل معناشناختی است کهپروژه ی صدق نگاری تارسکی را نسبت به سایر تلا شهای صدق پژوهانه ی پیش از او متمایز ساختهاست « علوم قیاسی » ، است. از طرفی یکی دیگر از مهمترین مواضعی که تارسکی به آن پرداخته استکه شامل دستگاه هایی است که بر اساس اصول موضوع، مفاهیم اولیه و همی...
full textMy Resources
Journal title
volume 4 issue 13
pages 3- 22
publication date 2003-12-22
By following a journal you will be notified via email when a new issue of this journal is published.
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023